abstract class $RO_ARR{ETP} < $CONTAINER{ETP} |
---|
**** | A read-only array which is the interface to other algorithm classes |
$CONTAINER{_} | $ELT{_} | $ELT |
aget(i: INT): ETP; |
---|
**** | pre has_ind(i) |
has_ind(i: INT): BOOL; |
---|
**** | return 0<=i<size This method could actually be implemented at this level |
ind!: INT; |
---|
**** | post 0<=result<size Returns all the indices, which are the integers between 0 and size - 1 |